（来源：上观新闻）
在算力成🦏本节节攀升◻、核心人😁才身价水📤🇭🇳涨船高🏴精品乱码一卡二卡四卡的当下，单🤞⚽纯依靠幻方的🙂🧗♀️自有资⛔👳♀️金已显🇿🇦得捉襟🇪🇪见肘🍚。公司里面🌹🗜一定要有人💯👨👨👦坚信A🇰🇪📡I🗼🧲。（咱就是说，最卷🤷♀️🍱的还是咱这边🛁。
JoyAI-Im✒age-Ed🏅🤮it：让🇨🇦🥪模型真正🏭“理解空间，编辑📃空间” 黄浩洋🍮 京🈁东探索研究🤽♂️院总监、🐙多模态🚈基础模型🤱研发团队负责👫人 具身智能🛏从模型到量产：🚍L3-L5🎴 全栈机🇧🇮↙器人在工业物流的⁉🇦🇼规模化🤬🐵落地实践🍾 万昕 优必🇨🇨🇭🇰选智慧物流子🔤公司 🍪♑UQI⚾ 优奇战略🔅🕧与产品💍2️⃣负责人 数据🧜♂️🥂驱动算法：无人装🍳载机全流程作业的🐆😼规模化实😡🐿践 陈广大 🤰🙃 网易灵动规🔶🇵🇾划控制算法负责人🇲🇰 探索🚪具身智能新Ⓜ范式：生物智能🎞🇫🇴混合机器人系🤸♀️👁️🗨️统研究与实践🧣🐔 印真 同🈳济大学🕦教授，上海创智学🤽♂️🇹🇨院全时导师 A🧧🇭🇹I 原生🤹♂️应用创新与开发👨👨👦👦🤳实践 随着大模🏠💀型从“玩具”变成🧐🚛“工具👨👩👦👦🇹🇫”，真正的 🎉AI 原生应用🎃🍫正在重新🇲🇫🇨🇼定义人与软件的🤥交互方式↩。
当 AI 负责写🧓代码，另一🔤😻个 AI 📣💮负责证明它是☯对的，软件🇩🇿🗡工程的核心问题，🆔🏂正在被重新定↔🦟义🏤🛍。因此，尽管🤰🇭🇹相关工作在😡自动生成证🇹🇬🏫明方面取得了长🍯🐐足的进步，但是🚁📊从本质上来看🐜🗝形式化方🇧🇧法仍然是‘屠龙之🕥♎术’，难🔨🖍以推广至大规模🕯系统软件⛵🐢。
